|
|
The Parallel Genetic Algorithm for Multicore Systems
Vrábel, Lukáš ; Šimek, Václav (oponent) ; Jaroš, Jiří (vedoucí práce)
Genetic algorithm is a powerful optimization and search method successfully used in practice to solve many different problems. Underlying concept is based on the evolutionary mechanics observed in nature. As the GAs are computationaly intense applications, it is natural that there are many efficient methods for parallelization of these algorithms. However, most of these methods deal with supercomputers or large computer clusters with specialized hardware, as these were the most common parallel architectures in the past. With modern-day computers the trend in personal computer design is also moving towards parallel architectures bringing small and cheap parallel multicore processors. That's why it is imperative to have efficient methods to exploit capabilities of this system. This document presents prototypes of new methods of parallel genetic algorithms designed especially for these multiprocessor computers with shared memory.
|
|
|
Automatické testování projektu JavaScript Restrictor
Bednář, Martin ; Pluskal, Jan (oponent) ; Polčák, Libor (vedoucí práce)
Cílem této práce bylo navrhnout, implementovat a vyhodnotit výsledky automatických testů pro projekt JavaScript Restrictor, který je vyvíjen jako rozšíření do webových prohlížečů. Testy jsou rozděleny do tří úrovní - jednotkové, integrační a systémové. Jednotkové testy ověřují chování jednotlivých funkcí, integrační testy ověřují správné obalování koncových bodů rozhraní prohlížeče a systémové testy kontrolují, zda rozšíření nepotlačuje chtěnou funkcionalitu webových stránek. Systémové testy jsou implementovány pro paralelní spouštění na distribuovaném prostředí, čímž se podařilo dosáhnout téměř přímo úměrného snížení časové náročnosti vzhledem k počtu testovacích uzlů. Přínosem této práce je odhalení dosud neznámých chyb v rozšíření JavaScript Restrictor a poskytnutí potřebných informací, díky nimž bylo možné část zjištěných chyb již opravit.
|
|
|
Paralelní simulátor umělého života
Luža, Radim ; Peringer, Petr (oponent) ; Martinek, David (vedoucí práce)
Práce popisuje projekt paralelního simulátoru agentního systému. Stručně uvádí teorii nutnou k pochopení problematiky, dále se zabývá návrhem takového simulátoru a paralelismem ve zpracování a na závěr rozebírá výsledky dosažené implementovanou aplikací. Přináší srovnání použitých algoritmů na výpočetních systémech různých parametrů.
|
|
|
Paralelní genetický algoritmus
Trupl, Jan ; Kobliha, Miloš (oponent) ; Jaroš, Jiří (vedoucí práce)
Práce popisuje návrh a implementaci různých evolučních algoritmů, vylepšených tak, aby mohly využívat výhod paralelismu na víceprocesorových systémech, a zároveň umožňovaly, aby výpočet probíhal na více počítačích v počítačové síti. Algoritmy jsou určeny k hledání globálního extrému funkce několika proměnných. Jsou nastíněny různé zajímavé optimalizační problémy a možnosti jejich řešení právě pomocí evolučních algoritmů. V práci je rovněž rozebíráno použití knihovny rozhraní MPI (message passing interface) a OpenMP, v rozsahu nutném pro pochopení problematiky implementace paralelních evolučních algoritmů.
|
|
|
Paralelní korpusový manažer
Kouřil, Jan ; Dytrych, Jaroslav (oponent) ; Smrž, Pavel (vedoucí práce)
Cílem diplomové práce bylo implementovat paralelní korpusový manažer, který umí zarovnat paralelní cizojazyčné texty a vložit je do korpusu, kde jsou poskytnuty další funkce pro jejich zpracování. Program poskytuje možnosti automatického zarovnání paralelních textů a jejich interaktivní úpravy. Tyto zarovnané texty se následně vkládají do korpusu. Program umí spravovat několik korpusů, paralelní korpus je identifikován vždy dvojicí jazyků. V korpusu je potom možno vyhledávat podle několika kategorií, zobrazovat a editovat jednotlivé výběry, lemmatizovat a morfologicky značkovat dané texty, provádět různá třídění výběrů, importovat a exportovat data, různými způsoby upravovat korpus pro další snadnou navigaci a přidávat další významy do spravovaných slovníků. Jednotlivé kapitoly popisují úvod ke korpusové problematice, teorii zarovnání paralelních textů, morfologické značkování textu a lemmatizaci, externí nástroje v programu použité, nejčastější formáty titulků a implementační řešení jednotlivých problémů.
|
|
|
Letouny s hybridním pohonem
Křivánek, Michal ; Šplíchal, Miroslav (oponent) ; Zikmund, Pavel (vedoucí práce)
Rostoucí snaha o snížení emisí v letectví může být podpořena využitím hybridního pohonu, kterým se tato práce zabývá. V první části poskytuje přehled vlivu leteckého průmyslu na životní prostředí a další motivaci pro vývoj a využití hybridních pohonů, kterou je momentálně nedostatečná hustota energie baterií pro čistě elektrické letouny a komplikace i výhody, které by přinášelo využití vodíku jako paliva nebo v podobě palivových článků. Dále nabízí možnost dopravy v obydlených oblastech a využití hybridního pohonu nejen v civilním letectví. Následuje přehled nejčastěji využívaných konfigurací pro hybridní pohony s uvážením výhod a nevýhod každé z nich. Další částí práce je přehled několika projektů vrtulových letounů s hybridním pohonem čítající stroje s kolmým vzletem a přistáním, extrémně krátkou i standardní vzletovou dráhou, po kterém následuje přehled vrtulových demonstrátorů s hybridním pohonem, které jsou již testovány v plném měřítku. V závěru práce porovnává a hodnotí výkony některých demonstrátorů proti jejich předlohám se spalovacím motorem. Nejvýznamnějšími výhodami letounů s hybridním pohonem jsou navýšená doletová vzdálenost, podstatné snížení spotřeby paliva a snížení provozních nákladů. Hybridní pohony však přináší i nevýhody, především navýšení hmotnosti a snížení počtu přepravených osob či nákladu. V poslední části je zmíněna budoucnost hybridního pohonu v leteckém průmyslu s uvážením různé rychlosti vývoje technologií.
|
|
|
Employing Parallel Architectures in Similarity Search
Kruliš, Martin ; Yaghob, Jakub (vedoucí práce) ; Platoš, Jan (oponent) ; Pllana, Sabri (oponent)
Tato práce se zabývá možnostmi nasazení masivně paralelních architektur v data- bázových systémech využívajících podobnostní vyhledávání. Hlavním předmětem našeho zájmu je využití výpočetní síly současné generace grafických karet pro vyhledávání v databázích obrázků. I přes významný pokrok v posledních letech zůstává oblast podobnostního vyhledávání velmi výpočetně náročná, takže je možné tyto metody aplikovat pouze u databází menšího rozsahu. Grafické čipy disponují obrovskou výpočetní silou, avšak jejich použitelnost pro konkrétní problémy bývá komplikovaná z důvodu specifických vlastností této architektury, které si vyžadují individuální úpravu existujících algoritmů a datových struktur. Zabývali jsme se všemi aspekty této problematiky, od efektivního využití grafických čipů pro obecné výpočty přes akceleraci vyhledávacího procesu až po efektivní indexaci obrázků. Ve většině případů přineslo nasazení grafických karet zrychlení přibližně o dva řády ve srovnání s jednojádrovými procesory a několikanásobné zrychlení ve srovnání s běžnými víceprocesorovými NUMA servery. Tato práce shrnuje naše poznatky z několikaletého výzkumu, algoritmy upravené pro specifické podmínky masivně paralelních čipů, ale také výsledky provedených experimentů, které potvrzují naše závěry.
|
|
|
Algorithms for Parallel Searching in XML Datasets
Kruliš, Martin
Práce se bude zabývat problematikou indexace XML dat a efektivního vyhledávání s indexem. Hlavním těžištěm bude snaha navrhnout datové struktury a algoritmy, které umožní úlohu vyhledávání maximálně paralelizovat a využít tak potenciálu vícejádrových procesorů. Součástí práce bude i pilotní implementace navržených algoritmů. Dotazování bude probíhat pomocí vlastního jazyka (ne nutně v textové podobě), což umožní používat různé vyhledávací jazyky jako frontendy. Jako ukázka použití bude implementován vzorový frontend umožňující vyhledávání pomocí podmnožiny jazyka XPath.
|
|
|
Automatické testování projektu JavaScript Restrictor
Bednář, Martin ; Pluskal, Jan (oponent) ; Polčák, Libor (vedoucí práce)
Cílem této práce bylo navrhnout, implementovat a vyhodnotit výsledky automatických testů pro projekt JavaScript Restrictor, který je vyvíjen jako rozšíření do webových prohlížečů. Testy jsou rozděleny do tří úrovní - jednotkové, integrační a systémové. Jednotkové testy ověřují chování jednotlivých funkcí, integrační testy ověřují správné obalování koncových bodů rozhraní prohlížeče a systémové testy kontrolují, zda rozšíření nepotlačuje chtěnou funkcionalitu webových stránek. Systémové testy jsou implementovány pro paralelní spouštění na distribuovaném prostředí, čímž se podařilo dosáhnout téměř přímo úměrného snížení časové náročnosti vzhledem k počtu testovacích uzlů. Přínosem této práce je odhalení dosud neznámých chyb v rozšíření JavaScript Restrictor a poskytnutí potřebných informací, díky nimž bylo možné část zjištěných chyb již opravit.
|
|
|
Paralelní genetický algoritmus
Trupl, Jan ; Kobliha, Miloš (oponent) ; Jaroš, Jiří (vedoucí práce)
Práce popisuje návrh a implementaci různých evolučních algoritmů, vylepšených tak, aby mohly využívat výhod paralelismu na víceprocesorových systémech, a zároveň umožňovaly, aby výpočet probíhal na více počítačích v počítačové síti. Algoritmy jsou určeny k hledání globálního extrému funkce několika proměnných. Jsou nastíněny různé zajímavé optimalizační problémy a možnosti jejich řešení právě pomocí evolučních algoritmů. V práci je rovněž rozebíráno použití knihovny rozhraní MPI (message passing interface) a OpenMP, v rozsahu nutném pro pochopení problematiky implementace paralelních evolučních algoritmů.
|
host ::
RSS.